Integration of cos^5x